$\forall$$m$, $n$:$\mathbb{N}$. ($m$ $\cdot$ $n$) = ($m$ $\ast$ $n$) $\in$ $\mathbb{N}$